structural induction
構造的帰納法
coinduction
Initial algebra
Loop invariant, analog for loops
/suto3/google.iconstructural induction
image structural induction
define structural induction
wikipedia structural induction
weblio structural induction
kotobank structural induction
jisho structural induction